Scott A Smolka : rechercher sur Z-Library

Goldin, Dina, Smolka, Scott A., Wegner, Peter

Année:

2002

Langue:

english

Fichier:

PDF, 359 KB

english, 2002

Interactive Computation ||

Année:

2006

Langue:

english

Fichier:

PDF, 5.17 MB

english, 2006

Composition and behaviors of probabilistic I/O automata

Sue-hwey Wu, Scott A. Smolka, Eugene W. Stark

Journal:

Theoretical Computer Science

Année:

1997

Langue:

english

Fichier:

PDF, 2.46 MB

english, 1997

Software monitoring with controllable overhead

Xiaowan Huang, Justin Seyster, Sean Callanan, Ketan Dixit, Radu Grosu, Scott A. Smolka, Scott D. Stoller, Erez Zadok

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Année:

2012

Langue:

english

Fichier:

PDF, 1.09 MB

english, 2012

[IEEE Distributed Processing Symposium (IPDPS) - Miami, FL, USA (2008.04.14-2008.04.18)] 2008 IEEE International Symposium on Parallel and Distributed Processing - Software monitoring with bounded overhead

Callanan, Sean, Dean, Daniel J., Gorbovitski, Michael, Grosu, Radu, Seyster, Justin, Smolka, Scott A., Stoller, Scott D., Zadok, Erez

Année:

2008

Langue:

english

Fichier:

PDF, 281 KB

english, 2008

On randomization in sequential and distributed algorithms

Gupta, Rajiv, Smolka, Scott A., Bhaskar, Shaji

Journal:

ACM Computing Surveys

Année:

1994

Langue:

english

Fichier:

PDF, 7.63 MB

english, 1994

Preface

Jiří Srba, Scott A. Smolka

Journal:

Année:

2006

Langue:

english

Fichier:

PDF, 56 KB

english, 2006

Runtime Verification for High-Confidence Systems: A Monte Carlo Approach

Sean Callanan, Radu Grosu, Abhishek Rai, Scott A. Smolka, Mike R. True, Erez Zadok

Journal:

Ezio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emilia Entcheva, Radu Grosu, Scott A. Smolka

Année:

2006

Langue:

english

Fichier:

PDF, 294 KB

english, 2006

Spatial Networks of Hybrid I/O Automata for Modeling Excitable Tissue

Journal:

Information Processing Letters

Année:

2008

Langue:

english

Fichier:

PDF, 943 KB

english, 2008

Hiding resources that can fail: An axiomatic perspective

Anna Philippou, Oleg Sokolsky, Insup Lee, Rance Cleaveland, Scott A. Smolka

Journal:

Année:

2001

Langue:

english

Fichier:

PDF, 144 KB

english, 2001

Distributed prototyping from validated specifications

David Hansel, Rance Cleaveland, Scott A. Smolka

Journal:

Journal of Systems and Software

Année:

2004

Langue:

english

Fichier:

PDF, 638 KB

english, 2004

Real-Time Verification Techniques for Untimed Systems

Xiaoqun Du, C.R. Ramakrishnan, Scott A. Smolka

Journal:

John H. Reif, Scott A. Smolka

Année:

2000

Langue:

english

Fichier:

PDF, 187 KB

english, 2000

The complexity of reachability in distributed communicating processes

Journal:

Acta Informatica

Année:

1988

Langue:

english

Fichier:

PDF, 1.11 MB

english, 1988

Priority as extremal probability

Scott A. Smolka, Bernhard Steffen

Journal:

Formal Aspects of Computing

Année:

1996

Langue:

english

Fichier:

PDF, 1.21 MB

english, 1996

Data flow analysis of distributed communicating processes

John H. Reif, Scott A. Smolka

Journal:

International Journal of Parallel Programming

Année:

1990

Langue:

english

Fichier:

PDF, 1.29 MB

english, 1990

On the analysis of cooperation and antagonism in networks of communicating processes

Paris C. Kanellakis, Scott A. Smolka

Journal:

Algorithmica

Année:

1988

Langue:

english

Fichier:

PDF, 1.53 MB

english, 1988

A logical encoding of the π-calculus: model checking mobile processes using tabled resolution

Ping Yang, C.R. Ramakrishnan, Scott A. Smolka

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Année:

2004

Langue:

english

Fichier:

PDF, 573 KB

english, 2004

Fighting livelock in the GNU i-protocol: a case study in explicit-state model checking

Yifei Dong, Xiaoqun Du, Gerard J. Holzmann, Scott A. Smolka

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Année:

2003

Langue:

english

Fichier:

PDF, 501 KB

english, 2003

Local model checking and protocol analysis

Xiaoqun Du, Scott A. Smolka, Rance Cleaveland

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Année:

1999

Langue:

english

Fichier:

PDF, 317 KB

english, 1999

Using integer clocks to verify clock-synchronization protocols

Xiaowan Huang, Anu Singh, Scott A. Smolka

Journal:

Innovations in Systems and Software Engineering

Année:

2011

Langue:

english

Fichier:

PDF, 291 KB

english, 2011

Monte Carlo Methods for Process Algebra

Radu Grosu, Scott A. Smolka

Journal:

Anu Singh, C.R. Ramakrishnan, Scott A. Smolka

Année:

2006

Langue:

english

Fichier:

PDF, 193 KB

english, 2006

A process calculus for Mobile Ad Hoc Networks

Journal:

Science of Computer Programming

Année:

2010

Langue:

english

Fichier:

PDF, 2.12 MB

english, 2010

The Na+-K+-ATPase beta1 subunit is associated with the HKalpha2 protein in the rat kidney

Kraut, Jeffrey A., Hiura, Jan, Shin, Jai M., Smolka, Adam, Sachs, George, Scott, David

Journal:

Kidney International

Année:

1998

Langue:

english

Fichier:

PDF, 539 KB

english, 1998

Testing Preorders for Probabilistic Processes

Rance Cleaveland, Zeynep Dayar, Scott A. Smolka, Shoji Yuen

Journal:

Paris C. Kanellakis, Scott A. Smolka

Année:

1999

Langue:

english

Fichier:

PDF, 556 KB

english, 1999

CCS expressions, finite state processes, and three problems of equivalence

Journal:

Année:

1990

Langue:

english

Fichier:

PDF, 1.39 MB

english, 1990

On the computational complexity of bisimulation, redux

Faron Moller, Scott Smolka, Jiří Srba

Journal:

Dina Q. Goldin, Scott A. Smolka, Paul C. Attie, Elaine L. Sonderegger

Année:

2004

Langue:

english

Fichier:

PDF, 233 KB

english, 2004

Turing machines, transition systems, and interaction

Journal:

Jason A. MacGurn, Pi-Chiang Hsu, Marcus B. Smolka, Scott D. Emr

Année:

2004

Langue:

english

Fichier:

PDF, 326 KB

english, 2004

CellExcite: an efficient simulation environment for excitable cells

Ezio Bartocci, Flavio Corradini, Emilia Entcheva, Radu Grosu, Scott A Smolka

Journal:

BMC Bioinformatics

Année:

2008

Langue:

english

Fichier:

PDF, 2.30 MB

english, 2008

TORC1 Regulates Endocytosis via Npr1-Mediated Phosphoinhibition of a Ubiquitin Ligase Adaptor

Journal:

Cell

Année:

2011

Langue:

english

Fichier:

PDF, 1.98 MB

english, 2011

[IEEE 2008 IEEE 11th High-Assurance Systems Engineering Symposium (HASE) - Nanjing, China (2008.12.3-2008.12.5)] 2008 11th IEEE High Assurance Systems Engineering Symposium - Power Optimization in Fault-Tolerant Mobile Ad Hoc Networks

Riganelli, Oliviero, Grosu, Radu, Das, Samir R., Ramakrishnan, C.R., Smolka, Scott A.

Année:

2008

Langue:

english

Fichier:

PDF, 3.75 MB

english, 2008

InterAspect: aspect-oriented instrumentation with GCC

Seyster, Justin, Dixit, Ketan, Huang, Xiaowan, Grosu, Radu, Havelund, Klaus, Smolka, Scott A., Stoller, Scott D., Zadok, Erez

Journal:

Formal Methods in System Design

Année:

2012

Langue:

english

Fichier:

PDF, 840 KB

english, 2012

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 7795 || Policy Analysis for Self-administrated Role-Based Access Control

Année:

2013

Langue:

english

Fichier:

PDF, 280 KB

english, 2013

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 7795 || Model Checking Agent Knowledge in Dynamic Access Control Policies

Année:

2013

Langue:

english

Fichier:

PDF, 407 KB

english, 2013

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 7795 || Deriving Probability Density Functions from Probabilistic Functional Programs

Année:

2013

Langue:

english

Fichier:

PDF, 288 KB

english, 2013

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 7795 || An Overview of the mCRL2 Toolset and Its Recent Advances

Bartocci, Ezio, Bortolussi, Luca, Smolka, Scott A.

Année:

2013

Langue:

english

Fichier:

PDF, 211 KB

english, 2013

Hybrid Systems and Biology

Journal:

Theoretical Computer Science

Année:

2014

Langue:

english

Fichier:

PDF, 155 KB

english, 2014

Model-order reduction of ion channel dynamics using approximate bisimulation

Ariful Islam, Md., Murthy, Abhishek, Bartocci, Ezio, Cherry, Elizabeth M., Fenton, Flavio H., Glimm, James, Smolka, Scott A., Grosu, Radu

Journal:

Année:

2014

Langue:

english

Fichier:

PDF, 1.78 MB

english, 2014

Strategic directions in concurrency research

Cleaveland, Rance, Smolka, Scott A.

Journal:

ACM Computing Surveys

Année:

1996

Langue:

english

Fichier:

PDF, 316 KB

english, 1996

Curvature Analysis of Cardiac Excitation Wavefronts

Murthy, Abhishek, Bartocci, Ezio, Fenton, Flavio H., Glimm, James, Gray, Richard A., Cherry, Elizabeth M., Smolka, Scott A., Grosu, Radu

Journal:

IEEE/ACM Transactions on Computational Biology and Bioinformatics

Année:

2013

Langue:

english

Fichier:

PDF, 2.89 MB

english, 2013

[IEEE 2010 IEEE 12th International Symposium on High-Assurance Systems Engineering (HASE) - San Jose, CA, USA (2010.11.3-2010.11.4)] 2010 IEEE 12th International Symposium on High Assurance Systems Engineering - Formal Analysis of the Kaminsky DNS Cache-Poisoning Attack Using Probabilistic Model Checking

Alexiou, Nikolaos, Basagiannis, Stylianos, Katsaros, Panagiotis, Dashpande, Tushar, Smolka, Scott A.

Année:

2010

Langue:

english

Fichier:

PDF, 528 KB

english, 2010

[IEEE 2014 Tenth European Dependable Computing Conference (EDCC) - Newcastle, United Kingdom (2014.05.13-2014.05.16)] 2014 Tenth European Dependable Computing Conference - Stochastic Game-Based Analysis of the DNS Bandwidth Amplification Attack Using Probabilistic Model Checking

Deshpande, Tushar, Katsaros, Panagiotis, Smolka, Scott A., Stoller, Scott D.

Année:

2014

Langue:

english

Fichier:

PDF, 471 KB

english, 2014

[IEEE 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering (HASE) - Boca Raton, FL, USA (2011.11.10-2011.11.12)] 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering - Formal Analysis of the DNS Bandwidth Amplification Attack and Its Countermeasures Using Probabilistic Model Checking

Deshpande, Tushar, Katsaros, Panagiotis, Basagiannis, Stylianos, Smolka, Scott A.

Année:

2011

Langue:

english

Fichier:

PDF, 219 KB

english, 2011

Interactive Computation || Turing, Computing and Communication

Goldin, Dina, Smolka, Scott A., Wegner, Peter

Année:

2006

Langue:

english

Fichier:

PDF, 161 KB

english, 2006

[IEEE 2011 International Green Computing Conference (IGCC) - Orlando, FL, USA (2011.07.25-2011.07.28)] 2011 International Green Computing Conference and Workshops - Model discovery for energy-aware computing systems: An experimental evaluation

Li, Zhichao, Grosu, Radu, Muppalla, Koundinya, Smolka, Scott A., Stoller, Scott D., Zadok, Erez

Année:

2011

Langue:

english

Fichier:

PDF, 112 KB

english, 2011

[IEEE 2008 2nd International Conference on Bioinformatics and Biomedical Engineering - Shanghai, China (2008.05.16-2008.05.18)] 2008 2nd International Conference on Bioinformatics and Biomedical Engineering - Symbolic Analysis of the Neuron Action Potential

Ye, Pei, Entcheva, Emilia, Smolka, Scott A., Grosu, Radu

Année:

2008

Langue:

english

Fichier:

PDF, 204 KB

english, 2008

[IEEE 2007 IEEE International Parallel and Distributed Processing Symposium - Long Beach, CA, USA (2007.03.26-2007.03.30)] 2007 IEEE International Parallel and Distributed Processing Symposium - Model Predictive Control for Memory Profiling

Callanan, Sean, Grosu, Radu, Seyster, Justin, Smolka, Scott A., Zadok, Erez

Année:

2007

Langue:

english

Fichier:

PDF, 321 KB

english, 2007

[Lecture Notes in Computer Science] CONCUR '95: Concurrency Theory Volume 962 || Formal methods technology transfer: Impediments and innovation (abstract)

Lee, Insup, Smolka, Scott A.

Année:

1995

Langue:

english

Fichier:

PDF, 245 KB

english, 1995

Associations between DNA methylation and schizophrenia-related intermediate phenotypes — A gene set enrichment analysis

Hass, Johanna, Walton, Esther, Wright, Carrie, Beyer, Andreas, Scholz, Markus, Turner, Jessica, Liu, Jingyu, Smolka, Michael N., Roessner, Veit, Sponheim, Scott R., Gollub, Randy L., Calhoun, Vince D.

Journal:

Progress in Neuro-Psychopharmacology and Biological Psychiatry

Année:

2015

Langue:

english

Fichier:

PDF, 1.18 MB

english, 2015

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 7795 || eVolCheck: Incremental Upgrade Checker for C